Building boost from source, using g++ 4.8 to make it work on Ubuntu 12.04 and 14.04