several fixes for cppprogutils