Tweaking Travis config
Tweaking Travis config