fix the procedure to install mariadb into a ubuntu 13.04