script: make osx devs happy

Change-Id: I3757a55589f2dd048df8c787491cf0d3c598e9ae