Fix compilation under MacOS