Hack to make the mysql module actually install mariadb