more coverity fixes, get rid of printf