python to call c executable