script: make osx devs happy

Change-Id: I7d1bd4afe11076384adbf4002654e8dd09cbf1d7
Merge pull request #25 from CyanogenMod/cm-11.0

script: make osx devs happy