Fixing "two pythons" problem we have with Mac OS X