server.py: use python3