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