correction to 64 bit ABI implementation

found a subtle problem with the 64 bit ABI on posix