Fix python3 incompatibility issues with nodediff.py plugin.