script: make osx devs happy

Change-Id: Id69374e9e7449b071f37defc040a59b3f6abd59c
Merge pull request #10 from CyanogenMod/cm-11.0

script: make osx devs happy