all dump files should end with .out (and not .dat)