Handle files outside the roxen tree with --remove-dumped. Rev: server/base_server/roxen.pike:1.326 Rev: server/start:1.78