fix install of headers