Xkcd: fix naming of share files