bugfix in mysql db driver