#2722 compilation fails with gcc-4.9.0