Fixing pycryptosat.cpp and forcing g++ compiler use