input.c: nextLine EOF bug + patch