script: make osx devs happy

Change-Id: I00f89a33d44c7579a24f29946beeb68d43e328ba