Add python extensions for dom_sid.