changed DBG into PHCDBG in PHCpack.m2