[v6r12] Install mysql only if needed

In InstallTools.