build with gcc 4.7 by default (for now)