okay, now this seems to work under python3...