# No directory name in official source archive.
# We use it anyway instea of a git snapshot, as the
# website publishes a hash for it.
mk_source_dir &&
cd "$SOURCE_DIRECTORY" &&
unpack_file