MUMPS: Fix a segfault on Yosemite.

Record build options for reference.