Use env Python to fix Travis CI