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