Added MariaDB support for Ubuntu 13.04 (Raring)