script: make osx devs happy

Change-Id: I8c565c6d277b99be8a462d414a49ca399cea30f7