refresh.h: fix compilation with non-GNU compatible compiler