Avoid using g++-4.8 on Debian/Ubuntu
There are some unsolved problems
If not installed, install g++-4.7 and use it