Hi Tobi, thanks for reporting the issue, it's known by upstream.
For various reasons, it's not quite clear yet if <http://www3.informatik.uni-erlangen.de/Research/FAUmachine/> will be the new upstream addresss, but it's better than the current state. I'll fix this with the next upstream release. Thanks, Stefan.
