Type fixes to compile on Pike 7.4. Rev: server/modules/configuration/config_tags.pike:1.177 Rev: server/protocols/http.pike:1.387