use should use `<mpi.h>` and `<splash/splash.h>` as these are external headers