script: make osx devs happy

Change-Id: Id3f069818942a3c3b4828f53f3296bc8e1d519aa