Antes de realizar as mudanças de configuração necessárias à nova versão do aplicativo que o Técnico de Informática acabou de desenvolver, ele resolveu renomear o arquivo original (config.xml) para config.bkp. Sabendo que a aplicação está hospedada em um servidor com sistema operacional Linux, qual dos seguintes comandos deve ser utilizado para renomear o arquivo?