Hello, * Jan Doornaert [Thu, Jul 26, 2007 at 07:15:07AM +0100]: > A better approach (in Ubuntu) is to copy libgmp.lib into [...] A better approach in ubuntu is to simply install libgmp3-dev.