Use Boost 1.50 and g++ 4.7