We should document "make install DESTDIR=wherever"