fix scotch header position, scotch does not include stdio, stdint and mpi... See merge request !9
00:01:21
Mar 04, 2020
00:01:54
00:02:19
00:03:19