Well, the name of the executable is guiformat.exe. The name of the tool (in the title of the gui) is "FAT32 Format"