Change libgmp3-dev check to remove version.