latest release, 5.4.19 and updated php-5.4.18-bison.patch