Tweaking the travis script