changed seismogram filename extensions, as discussed