update for current dev version of dolfin