chiark / gitweb /
remove redundant substitution of RUN key