Get rid of SFILE_OPEN_PATCHED_FILE declaration