tweaking Travis settings