asan: rename the file (it's not 64-bit specific anymore)