On newer Ubuntu, it's 'libgmp3-dev'.
Merge pull request #1 from Birdback/upgrade-to-libmpg3-dev

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