Update mosml smart configuration for mosml 2.10 paths
Merge pull request 169 (from David Sheets)