Fix compilation for Linux