Index: src/prelude/bootloader.cf
===================================================================
--- src/prelude/bootloader.cf	(revision 3fe34ae393b9647360e8310b11c0d6f9863d9062)
+++ src/prelude/bootloader.cf	(revision 13de47bcd1133e72e5f8fcdee34f7cbc890ec088)
@@ -1,3 +1,3 @@
-extern int invoke_main(int argc, char* argv[], char* envp[]);
+extern "C" { static inline int invoke_main(int argc, char* argv[], char* envp[]); }
 
 int main(int argc, char* argv[], char* envp[]) {