fix 64-bit value for W_SHIFT, which thankfully appears to be not used