some fixes for the build system on Linux/GCC