Better mysql reinstallation instructions