Add backtrace in util.cpp