uml: rename os_{read_write}_file_k back to os_{read_write}_file