Modify .gitignore: ignore socket file