Removed one extra line of --with-gmp-and-friend