[Ada] Revamp dump and aux output names