WIP installing more recent version of mysql