Fix location of `session-getter.pl`.