to workaround a GCC bug, see https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88684 Signed-off-by: Kefu Chai <kchai@redhat.com>