utility/debug.cpp: Format
utility/debug.h: Work around gcc 4.8 segfault