#381 use python to do the dumping