fix travis config+