My patches are now in python-jws mainline