fix Travis file