Use travis's python