Effettivamente è stranissimo, se riesci a salvare con un altro nome ed eliminare il vecchio, dovresti benissimo poter rinominare. Prova ad usare un altro file manager, o a farlo dal terminale ( mv nomefileoriginale nuovonomefile ).