Make insert_global_shims() less chatty