Fixes #3

! cat hat Stackspeicher für stream_recv genommen, der noch nicht gemappt
  war. Ein Aufruf von vmmc_do_lazy_map hilft.