PHP: Avoid obsoleting php54 from RHSCL