Fix #20025 -- Point to a MySQLdb fork for Python 3.