Why did mysql no longer the default?