reverting changes of mysql installation, too complicated