util: fix a gcc compiler warning