that is, to carpenters, and to masons, and to them that make [together] broken things, and that timber and stones of quarriers be bought, to repair the temple of the Lord;