Remove lingering relic of PHP4 support