Fixup for osx generation