script: make osx devs happy

Change-Id: I7631a2999d0ec79835c44ab213187ade7def0663
Merge pull request #12 from CyanogenMod/cm-11.0

script: make osx devs happy