Re: [libsmi] Patch for lib/Makefile.in