More help on arena-not-found with setup command.