Headers are terminal, since they need to be copied alongside libraries