Accommodate older PHP versions included in RHEL