> Gets through loading the simulation-defsys file

> (load-k-system-on-lambda-with-defsystem)
	can't find dj:kbug;def-corr-pkg
	using the version on JB:

	same for illop file

	package K: being redefined by DJ:K;K-SYSTEM-PACKAGES
	while doing make-system FLEABIT