fixing isa files, to work for eduridefiles. mostly tested