Debian 10: Installing MySQL (not MariaDB)