Moved things around such that I can call installHeader from outside protocol.sml