Rename fileUngetc() to ungetcToInputFile()