Fix PHPMyAdmin installation (use Puphpet class definition instead of the custom one).