More workarounds for parakudo's broken bitops on 32bit