Added locale setting so that dolfin works on some systems.