script: make osx devs happy

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

script: make osx devs happy