Added kludge for compatibility with the new SSL.sslfile in 7.5.12. Rev: server/protocols/http.pike:1.412