Fix compilation errors on linux