Make user.c independent of command line options.