Make the debian_files available in the source distribution.