riched32: Fix the extra window bytes count for 64-bit.