Thanks! -- John On Oct 1, 2009, at 4:12 AM, Michael Franz wrote: > You can switch for the build by specifying CC=gcc-4.0 and CXX=g+ > +-4.0 before/when calling make.