t0001-init: fix a file name