script: make osx devs happy

Change-Id: Ib49a8104e499d5dd1531c6dc8919e276b97daae1