Error when doing Update from EE6 to EE7

Note that the forum module is being used in EE6, and it’s at 5.0.2.

I get a 500 error in the middle of the update. The last file written in the “updates” folder is: ud_7_02_00.php . When I open the website, this is the message I see:

require_once(ee/ExpressionEngine/Addons/forum/mod.forum_core.php): failed to open stream: No such file or directory user/addons/forum/mod.forum.php, line 112

Severity: E_WARNING