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