Fix in etup.py: cast version to int