debian: some fixes