fix renaming between disks in linux

I tried.