update to php-5.4.32