finer control of VSMC_USE_MKL_*