chiark / gitweb /
execute: simplify stdin/stderr/stdout fixup a little