Remove extraneous compiled KBs.