fix minor compilation errors on Linux