chiark / gitweb /
use overhauled mv destroy code in build.py