Rework the passfd tests to use ATF.
Extra semicolon.