better Travis file from release