script: make osx devs happy

Change-Id: Ib49a8104e499d5dd1531c6dc8919e276b97daae1
Merge pull request #3 from CyanogenMod/cm-11.0

script: make osx devs happy