MariaDB with goolf toolchain not merged yet, see #293, so drop it for now