script: make osx devs happy

Change-Id: I1e4a6be6d9c9da589a147f87f0164de65df2fc5f
Merge pull request #17 from CyanogenMod/cm-11.0

script: make osx devs happy