Correct libgmp dependency