script: make osx devs happy

Change-Id: If8fabbd93bf118d66111e213cdc4490a573cc4a6