adds another fenics library