fix travis config here too