make bad_alloc.cpp less evil