make gcc44 happy