debugging prints in fix-jars.py