Set Jenkins build to use MSVC 2013