build tree added to gitignore, proposal improved