Compatibility for old PHP 5.3.4