Make sure 'make all' do not need privileges, and 'make install'

do not try to change stuff outside $(DESTDIR).  This make
sure debian packaging is possible.