Minor change in cmake concerning to MPI option.