ufl_demo and ffc_demo failed
