Renamed debian_files to debian, to be consistent with other projects.