Re: [PD-dev] including more headers in 'make install'