* read-rtl.c (read_name): Terminate reading on EOF.