The text 0de44d6c5618, as Debian 6.0 (Squeeze) shipped it.
Convert from old FFC .form format to UFL format.
form2ufl(1) on Linux now
