script: make osx devs happy

Change-Id: Ibec7ae3748016bdd5ec95254c101aa414738a4b8