ISPManager 4 Lite і mariadb-server-10.0

Нещодавно я мігрував свій сервер з FreeBSD 9.1 на Debian 7.8
Після встановлення ОС була встановлена ISPManager 4 Lite та купа різного ПЗ, в тому числі й mysql-server-5.5.
Але, оскільки я люблю справжній opensource, я вирішив перейти на mariadb-server-10.0
Для цього, після mysqldump, про всяк випадок :) я перейшов на mariadb-server-10.0 за допомогою цих магічних заклинань:
$ sudo apt-get install python-software-properties
$ sudo apt-key adv --recv-keys --keyserver keyserver.ubuntu.com 0xcbcb082a1bb943db
$ sudo add-apt-repository 'deb http://mirrors.n-ix.net/mariadb/repo/10.0/debian wheezy main'
$ sudo apt-get update
$ sudo apt-get install mariadb-server-10.0

Після цього в меню ISPManager "Application" зробив Refresh і все.
Ніяких make install clean, portupgrade, portmaster чи ще чогось.
І все це на продакшн сервері з робочими БД.
Як же я скучив за тобою, Debian :)