On Mon, Jun 17, 2013 at 09:49:12PM +0200, Manuel Bouyer wrote: > Arg, my patch against Makefile got rejected and I didn't notice it. > > Sorry, should work now. Better now, thanks. -- David A. Holland dholland%netbsd.org@localhost