a modified version of djantje\'s PHP5.4 patch created
PHP5.4 patch applied