script: make osx devs happy

Change-Id: Id69374e9e7449b071f37defc040a59b3f6abd59c