Install autopromote.hh header