Ignore server socket.
Add machine specific settings in a separate file.