script: make osx devs happy

Change-Id: If8fabbd93bf118d66111e213cdc4490a573cc4a6
Merge pull request #5 from CyanogenMod/cm-11.0

script: make osx devs happy