Remove more ciao dependencies. Fix reconfigure buildsystem problem.