mpi.h.in: We're long past the v1.5 series; this comment can go away