fix mysql default port