fix MacOS X again