changed things in PHCpack.interface...