port mstools to 64-bit