Index: src/Concurrency/Keywords.cc
===================================================================
--- src/Concurrency/Keywords.cc	(revision 5cdeecd791d8dc7c7709def12ae1f699bc711512)
+++ 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") }
 				)
 			)