Try to fix an incorrect handling of eof() in the mps_input_buffer.