we still need DESTDIR, though