Shorten travis file