remove PHP 5.3 (not compatible)