fix compilation issues on linux