opensplice: add mavericks bottle