Fixing the shell to use the right precheck class
Removing a file that was obviously accidentally merged in