Fix compilation issues on Linux;