Use `python` to run ctypesgen