[gambit-list] Getting rid of the -fwrapv flag in gcc