script: make osx devs happy

Change-Id: I4e4ffcb75f3e5939053f8e6e00103adf618d5cfe