gui: use unsigned int to make gcc happy