Rename kr_prob_1 to kr_prob_1.sh