Fix emptysolver.hxx for --without-pvode option