corrected a little compilation error under gcc/clang which needed one more include than visual2013