fix compilation errors on linux