Update mariadb10_on_ubuntu12_04.sh