function getNotSupportedFile(name) { return name + ".bad"; }