[NEW PATCH] [WIP] Replace 'cp' and 'mkdir' with $(INSTALL) (via gerrit-bot)