script: make osx devs happy

Change-Id: I639e769da4c5df928a33714cfec096702376a2d7