Rename check_while to check_while.sh