file copy: refine FileSystem.oprn()