use our own version of mysql