Removing several remaining references to the compressed solvers.