The file /education/rkward/scripts/set_dist_version.sh does not exist.