script: make osx devs happy

Change-Id: I062a395c108765d5469b87599c29660fe6ce4b1b