Fix compilation under Linux