Align make_differential_dfxml.py's state with main dev. branch