HTTP encodes just the filename using http_encode_url() not the whole path Rev: server/modules/graphics/cimg.pike:1.77