[PD-dev] [pure-data:bugs] #1101 make install fails if already installed to the same prefix