Index: src/Concurrency/Keywords.cc
===================================================================
--- src/Concurrency/Keywords.cc	(revision cca568e32a0a35aff9eb80fa5e403e3d338d349e)
+++ src/Concurrency/Keywords.cc	(revision 09f357ec00aefca93e05dd3cc0f865d2b3fe0881)
@@ -716,5 +716,5 @@
 				new UntypedExpr(
 					new NameExpr( "__thrd_start" ),
-					{ new VariableExpr( param ) }
+					{ new VariableExpr( param ), new NameExpr("main") }
 				)
 			)