io: Some improvements to the io_read_file function; verify: remove double printf