more coverity fixes, get rid of printf in device_manager.cpp