(trivial) update gitignore