O que você pode fazer é removê-lo com base no seu número de inode. Um inode é um número de índice usado pelo sistema de arquivos em vez do nome do arquivo para pesquisar informações do arquivo (permissões, etc.). Em um terminal, no diretório do arquivo problemático, execute ls -i
que lhe dará algo semelhante ao seguinte:
$ ls -i
7995865 a 7995866 b 7995867 c
Em seguida, para removê-lo, você pode usar find
e rm
$ find . -inum 7995866 -exec rm -f {} \;
$ ls -i
7995865 a 7995867 c