Fix build on Linux, fix Eclipse syntax highlighting