some refinements to this travis stuff, lets hope this works