rvm mysql fix