BUG: setting a1gate on 32-bit systems