devbox_init.sh: Fix symlink for done.thor.