include additional vsmc/cxx11 header