Minor bug fix in MySQL so that it connect to MYSQL_SERVER by default