(w32_msg_pump): Disable debug code.