update the Travis file