removing some Mathias-specific stuff from osx script