Critical: PHP build is broken with latest MariaDB 5.5.40 - fixes #452 in head