better mira defaults, new release 2014-01-28