chiark / gitweb /
main: fix reexec