Trying out python 3.3 support