[misc] Tweaking Travis integration