[dist] Fix 01ca0d2b80216684bd0fedcdab945d424e84f7f8 mysql path.