Re: [PATCH] .gitignore: add files produced by b4