ele_num needs to be a pointer corrected a naughty abuse of make_element_numbering that got caught by the different interface.
ele_num needs to be a pointer
corrected a naughty abuse of make_element_numbering that got caught by
the different interface.

FluidityProject/multifluids,FluidityProject/multifluids,FluidityProject/multifluids,FluidityProject/multifluids