/libre/gmp-static/