dolfin/src/kernel/settings
