Include MySQLdb
Fixes: #5120