Don't explicitly ask for -lgmp

Closes #33