Prints "yes" instead of the full path to metis in the configure summary.
mentioned in commit 3cbee28a
Status changed to merged