Fix an EOF related bug when running on school servers