make gcc 4.1 happy