php: rebuild for Mariadb