Re: [PD-dev] [patch] pd-devel: makefile.in: install lib stuff into $DESTDIR during install phase