Consistently cast tty and user to const char * in printf()-like contexts.