switch to a copy of the PHPUnit-Progress module that actually works