[gambit-list] cross-compilation for dummies