[trivial] allow user to configure DESTDIR