Check that Shell.Path.setPervasive"/bad_path" raise PathError and
enters the debugger. Similarly Shell.Path.setSourcePath["/bad_path"].
