script: make osx devs happy

Change-Id: Iefad034e797b26d560fa66ae0413ea7e713b8f9e