warning about dumb terminal just irritates users

@josevalim I think that's it.