Do something very dirty to get a working mysql on 10.9