python: This really works when compiling on Mavericks now