Removed Core CaseLit
Fixed the build with -f-ekg
Fixed doctests