travis: tricks with python