Patch from Nicholas Brealey <nick@brealey.org> to distinguish between WinXP and WinXP64.