Fixed compilation in gambit>=4.7.3.