script: make osx devs happy

Change-Id: Ibdf64b907a4c2204b9fd1c5040a25240533901de