bugfix installing the headers correctly