travis: specify python