Ajenti: Convert to Python 3