fix bug in SPLIT_PATCH_TXT_RE
add old_filename field to patch JSON