Fix on Mac OS.