{
var name = sourceFile.substring(Options.baseDir.length+1);
name = name.replace(/\.\.?[\\\/]/g, "").replace(/[\\\/]/g, "_");
{
var name = sourceFile.substring(Options.baseDir.length+1);
name = name.replace(/\.\.?[\\\/]/g, "").replace(/[\\\/]/g, "_");