Adjust some paths and filenames in debian/.