update to Gambit 4.6.2 ##cond-expand-features