chiark / gitweb /
move delete_path() to utils