Fix for osx CI script