[PATCH] Adjust gitignore for /build