переименовывание файла

Вот у меня закачен на сервере файл "файлtxt", и мне его надо без перекачки переименовать