updated main()
Merge branch 'naive' of github.com:yvdriess/mcc into unstable
Merge branch 'unstable' of github.com:yvdriess/mcc into unstable
minor