Fix compilation/linking in Docker after some recent GCC changes (fixes #23). If someone knows a better fix, please file a pull request!

src/main.c

@@ -152,3 +152,5 @@ int main(void)
         //__WFI();
     }
 }
+
+void* __dso_handle;