Do

  make all

to create the scripts.

Use e.g.:

  cnf2f < wff.cnf > wff.f

