one more clock tweak in bsvgen.py