quit on EOF