better .gitignore: empty build/ folder