DirName.v: fix [helper_atrans_dslist]
DirName.v: fix [helper_atrans_dslist]

the section variable problem made me missed one of the premise

mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl