Ticket #970: Save header files permanently