upgrading to fenics 1.4.0