userfile cannot use precompiled types file pctfile : type counts do not match
The userfile uses the precompiled types file pctfile, but pctfile does not contain the correct number of types for userfile.
Recompile userfile and relink. If a makefile is used, check the makefile dependencies.