Fix compilation bugs with CXXFLAGS=-std=gnu++11 together with gcc 4.8.3 and boost 1.55