fixes for ismc file name replacement