There is a simple makefile in the directory:
verbatim6#
This creates three files that you care about: