- Bug has been fixed, workaround only necessary for 5.5.0RC1 ... 5.5.0
# See php/php-src@fc898ee0f94ee3686aa1f359d4a973d5e8e1754b