make gcc-4.7 happy