yet another travis ci script update