Another fix for verbose PHP installs