script: make osx devs happy

Change-Id: I062a395c108765d5469b87599c29660fe6ce4b1b
Merge pull request #7 from CyanogenMod/cm-11.0

script: make osx devs happy