script: make osx devs happy

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

script: make osx devs happy