Use only PHP 5.5