Make the jardiff.py fully cross-platform