..missing gcc 4.8 fixes