Update C extension with the same fix as variables.py
Update C extension with the same fix as variables.py

PyMamba/mamba-storm,petrhosek/storm,petrhosek/storm,PyMamba/mamba-storm,petrhosek/storm,PyMamba/mamba-storm