1393: when necessary, use absolute paths in .gitignore