Switch to 32-bit ints for local indices in dofmap.