adjust travis to work with python 3.3