On Mon, Jan 11, 2016 at 11:15 PM, Jonathan Riddell <jr at jriddell.org> wrote: > (installer is reported to crash too) should be fixed in today's builds