make gcc 4.6.1 happy