Fix packaging on OSX

Change-Id: Iadf32d9c1fe0e1460444b266c5fb4ebb6e739cf3