script: make osx devs happy

Change-Id: I28d2b61c77e7e66314dfb58606f1050e263c52e7