small fix for MacOSX SDK 10.7