The 64-bit Linux release seems to be fine (possibly just luck with the
C compiler optimizer?).  Thanks for addressing this.