hacks to support new mysql module