uci: work around a gcc bug which causes a bogus compiler warning