added simpler and better kextract and tests