Adam Chlipala wrote: > ergely Buday wrote: >> And, testing it via telnet gave me >> >> $ ./hello.exe >> [...] >> Segmentation fault (core dumped) > > I've reproduced this easily on my development machine and will > hopefully patch the bug soon. Thanks for reporting it. OK, fixed in the public Mercurial repo.