/* work around ancient broken TCP peers */