<div dir="auto"><div><div class="gmail_extra">Thank you very much Jean-Marc for helping with testing!</div></div><div class="gmail_extra" dir="auto"><br></div><div class="gmail_extra" dir="auto">Can you please also try running apt-get purge mysql-* and see if it removes the remnants cleanly? But not too cleanly, mysqld binary or /var/lib/mysql used by mariadb-10.1 should not get deleted by the mysql purge (one user reported he suffered such a case).</div><div class="gmail_extra" dir="auto"><br></div><div class="gmail_extra" dir="auto"><br></div></div>