[Maria-developers] PIC build options and MariaDB