Include redefinition of MAKE-BUILT-IN-INSTANCE in phase 4.