Tweaked the travis ci script