Linux: print after BUG() is pretty useless