PHP 5.4.32: rebuild with new sources