[NEW PATCH] [WIP] Replace variable PREFIX with DESTDIR (via gerrit-bot)