fix for not PHP 5.4