Formateo de pendrive

Después de pinchar un pendrive en un equipo compartido me encontré con varios regalitos.
El primero, los archivos típicos del Recycler, que son inofensivos cuando se trabaja desde GNU/Linux. Como es mi caso, los borré y listo.
El segundo regalito fue un archivo sin extensión llamado "usbcññññ" con un peso de más de 400 megas. El problema es que el archivo se borra y desaparece... pero solo el icono. Al pulsar F5 para refrescar la pantalla, vuelve a aparecer.

Después de dar vueltas y vueltas por Internet y de probar varias cosas, no he visto otra forma para eliminarlo que no sea formatear el pendrive.

Lo que he hecho ha sido lo siguiente:

1. Instalar gparted:
   $ sudo apt-get install gparted
2. Pinchar el pendrive
   
3. Hacer backup de aquellos contenidos que no se quieran perder.
4. Desmontar el pendrive (clic derecho sobre el icono del pendrive y opción Desmontar o Unmount.
5. Arrancar gparted.
6. Elegir el pendrive como dispositivo de trabajo.
7. Clic derecho sobre la partición a borrar
8. Clic derecho sobre el espacio libre y clic en Nueva partición eligiendo como sistema de archivo, por ejemplo, FAT32.
9. Clic en el botón de "Aplicar".

En la imagen se puede ver como una vez desmontado el pendrive (opción "Desmontar", justo debajo del cursor), es posible indicar el tipo de formateo a aplicar.
Una vez seleccionado, los cambios quedan pendientes de ejecutar y hay que pulsar el botón "Aplicar" que se mostraría en la barra de herramientas (en la imagen no aparece porque no hay nada pendiente de ejecución).