Attempt to fix the debian copyright file.