Switching to Python3 (yet a lot to do)