- Added libgmp3-dev to fix compilation errors