More hacks to build on Linux. Cleanup coming soon!