Fix build against mpich on our system