fix travis config?