Shoving is the right way to play this hand. It's the manipulation of poker software that accounts for this.