to the carpenters, and to the builders, and to the masons, and for buying timber and cut stone to repair the house.