Certify recently published package PHCpack; comment out documentation of Verbose to get it to run