Made setup_user_configs.bash more careful.