Fix slight breakage in the osx cmake