add any python standard extension modules