* dbxout.c (current_file): Also wrap inside DBX_DEBUGGING_INFO ||