Adapted to getchar-function renames.