Give up trying to use Python 3.3, just use default