Linux: Use DESTDIR as configure --prefix option