no, `patched_files` is a relative path like `easybuild/easyconfigs/g/GCC-4.8.2.eb`, while `ec_files` is the full path of the files where they were downloaded to