this was tricky -- backend name in DefinitionLoader should be same as K.backend variable
make backend running (i.e. failing with null pointer exceptions but at least it's now known by krun)