Hi all, here had an Abaqus 2020+VS2019+IVF2020 setup succeeding in passing the user subroutines verification. However, it failed after the HF1 being patched. The error information for Abaqus/Standard recorded in the log is as follows:

End Compiling Abaqus/Standard User Subroutines
Begin Linking Abaqus/Standard User Subroutines
export.def : error LNK2001: unresolved external symbol ueigenstrain
export.def : error LNK2001: unresolved external symbol uvolsources
standardU.lib : fatal error LNK1120: 2 unresolved externals
Abaqus Error: Problem during linking - Abaqus/Standard User Subroutines.
This error may be due to a mismatch in the Abaqus user subroutine arguments.
These arguments sometimes change from release to release, so user subroutines
used with a previous release of Abaqus may need to be adjusted.
Abaqus/Analysis exited with errors

Similar error description for Abaqus/Explicit with different unresolved external symbols can also be found.

I'm wondering if it is because HF1 has not update the corresponding verify subroutines with right arguments, and what can I do to make these verification pass again?