Binary detection for different platforms improved (added python 3.3 under OS X)