Remove code for PHP 5.1