add php-5.4.13 support