Agreed. Let's always explicitly set it, that way we also get the benefit of consistent behaviour despite the possibility of varying default socket options.