Merge to v5.3.1 (cherry picked from commit be538b4f69)
be538b4f69
close-output-port' on abandoned port in
ssl-set-verify!' and