patched MySQL extension