[py3k] everything now works on python3, but I should track down these hacks at some point ...