correct hint to extra library libgmp3-dev (thanks Avi)
Authored by: mantepse 2008-01-28
Parent: [r214]
Child: [r216]