configure updates and MUMPS housekeeping

Merge request reports

Loading