mavericks binaries