Fix build

If we introduce a new file, we need to make sure to add it to the
Makefile, too, otherwise it won't be distributed...
Switch to xz (and away from bzip2)

Might change back, depending on discussion on mailinglist.