x64; cleanup