version compatible with latest dolfin