Update dennis to v0.4.2

v0.4.1 had a bug where it was throwing errors and not printing anything
to stdout and thus nothing gets into postatus.txt.

v0.4.2 fixes that.