Disable workaround for http://bugs.php.net/bug.php?id=18556 if PHP 5.5 is detected