Adapt the python port to support python 3
python port: use spaces instead of tabs to ident