Update check_debian.sh