fix: find gmp
Merge branch 'spielwiese' of github.com:Singular/Sources into spielwiese