script: make osx devs happy

Change-Id: I1e4a6be6d9c9da589a147f87f0164de65df2fc5f