make gcc4.6 happy