Redid that last fix.
Preparing release 3.4.1-colliberty-2
Back to development: 3.4.2