Add python extension option