added source for php-5.3.13