Missing #include's for EOF