Update doc and remove old debian-only script