Update README.Debian, which was quite ancient and even incorrect