Use g++-4.8 as compiler