Fix compilation for linux