Use gcc 4.8 && Boost 1.5.4