Tweaking Travis config file