Got libgmp working