Rename File_perm.string_of_code to File_perm.to_string