Load a different version of ssl.py if we're in python 3