using PR instead of manually patching
forces HEAD for mavericks