fix travis config once and for all?