- compile into linux64Gcc44, linuxGcc44 to avoid clashes during testing - continue to use gmp-4.2.4 since gmp-4.3.x might be miscompiled with a system gcc-4.3.2
modified: SiCortex64Gcc/cOpt modified: SunOS64Gcc/cOpt modified: linux64Gcc/c++Opt modified: linux64Gcc/cOpt modified: linux64Gcc/general modified: linux64Gcc42/c++Opt modified: linux64Gcc42/cOpt modified: linuxGcc/c++ modified: linuxGcc/cDebug modified: linuxGcc/general modified: linuxIA64Gcc/cOpt