dolfin/src/utils/inp2dx
