Try another approach to getting g++-4.8