Verilog Translator

The same problem, that makes this test to be failed, appears while running Retrascope at Jenkins server with the following parameters:

/srv/jenkins/workspace/Retrascope/build/resources/test/fifo/fifo_testbench.v
 --target cfg-iface
 --include-path /srv/jenkins/workspace/Retrascope/build/resources/test/fifo
 --module-name fifo_testbench
 --engine cfg-cfginterface-extractor

Here comes an error like:

java.lang.IllegalArgumentException: Module 'fifo' cannot be found
    at ru.ispras.fortress.util.InvariantChecks.checkTrue(InvariantChecks.java:53)
    at ru.ispras.fortress.util.InvariantChecks.checkNotNull(InvariantChecks.java:109)
    at ru.ispras.verilog.parser.elaborator.VerilogElaborator.expand(VerilogElaborator.java:334)
    at ru.ispras.verilog.parser.elaborator.VerilogElaborator.start(VerilogElaborator.java:176)
    at ru.ispras.verilog.parser.VerilogSyntaxBackends.start(VerilogSyntaxBackends.java:56)
    at ru.ispras.verilog.parser.VerilogTranslator.start(VerilogTranslator.java:163)
    at ru.ispras.verilog.parser.sample.VerilogPrinter.main(VerilogPrinter.java:51)
    at ru.ispras.verilog.parser.sample.VerilogPrinterTestCase.runTest(VerilogPrinterTestCase.java:48)