[Bug 2533] the install process should support $DESTDIR