removed dump file accidentally included in earlier commit