use newer python for travis