fix Mac OS X run script