fix warning for gcc 4.7