script: make osx devs happy

Change-Id: I7631a2999d0ec79835c44ab213187ade7def0663