builds on real linux amd64 test gmp