Update of Win64 instructions.