legacy mysql homebrew formula