debuginfo: Add temporary workaround for #14871.