+# Identify the tarball.
+sed -i "s,^EXTRAVERSION.*,&-libre$extra," Makefile
+
+# We use `# clean_blob\nclean_file' to indicate that a file is
+# allegedly under the GPL or some other compatible license, but we
+# don't have its sources. Using the default deblobbing machinery
+# doesn't work, because then the binary firmware generators would barf
+# at the deblobbed file.