Make count80.py work with Python 3