minor change to dist.ini
Merge branch 'packaging' of github.com:wkretzsch/DM into moose