Index: src/prelude/bootloader.cf
===================================================================
--- src/prelude/bootloader.cf	(revision 3fe34ae393b9647360e8310b11c0d6f9863d9062)
+++ src/prelude/bootloader.cf	(revision aaa1a99a1950364c6bd2925b2f12dd314caccfeb)
@@ -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[]) {