chiark / gitweb /
adapt script to local context, strip out useless -V option too