some fixes to mysqlproxy