The Debian polipo package sources with a patch adding timestamps to polipo logs