chiark / gitweb /
execute: always add in EXECUTABLE= field when we log something about execution