include new headers in vsmc.hpp
fix static assert