#3 Can't install on Linux

[Anonymous]

When I try and compile I get these errors (well 26 more
but I figure I shouldn't post them all):

Any idea what they are from?

It seems to bew looking for a parameter called
currentFile in the class ParseException.

Thanks

engine/main.java:211: cannot resolve symbol
symbol : variable currentFile
location: class engine.ParseException
ParseException.currentFile = args[i];
^
engine/VeriParserTokenManager.java:21: cannot resolve
symbol
symbol : method ReInit (engine.ASCII_CharStream,int)
location: class engine.VeriParserTokenManager
ReInit(ts.in, curLexState);
^