Remove duplicates from MUMPS_LIBRARIES