Changed to php-5.4.36. #16