chiark / gitweb /
Use right test vector file name.