Fix a couple of #if predecates around PHP-5.6-specific code