I try to run some tests using the mini-GMP e.g. t-add.c (\gmp-5.1.0\mini-gmp\tests) but the compiler complains about *"mini-random.h:20:22: error: mini-gmp.h: No such file or directory". *What do i miss here? Best,