mysql vagrant updated