On newer Ubuntu, it's 'libgmp3-dev'.