Warning at the end of configure about missing MPI was incorrect, as a consequence. of 971a5078. Fixed now [ci skip]