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