#2 fix up admin tool to build bare mysql repo