Update mosml smart configuration for mosml 2.10 paths