chiark / gitweb /
use more efficient string copying