yet trivial fixes to mysql exts