(extfs_get_path_mangle): renamed to extfs_get_path_int