migrate to g++ 4.7, complete C++ 11 style