MPI_COUNT_KIND is defined in mpif-config.h