protected String mapSourceFilenameToDest(GFile srcFile) throws IOException {
		return FSUtilities.getSafeFilename(srcFile.getName());
	}
Maps the untrusted, potentially hostile, filename of the source file to a name
that is suitable to be used to create a file on the user's local file system.
<p>
NOTE: This base implementation converts relative directory names to spelled-out
versions of that directory, eg. "." becomes "dot".
<p>
If you wish to modify this behavior, override this method and return different
mappings.
 
@param srcFile source file
@return String name of the source file, possibly modified to be safer
@throws IOException thrown if name is not mappable and the extract process should stop
Ghidra/Features/Base/src/main/java/ghidra/formats/gfilesystem/AbstractFileExtractorTask.java