weekend progress, restoring old functionality to the MathSearch Build system UI