Change dump file extension