Fixing compiler error on armv5tel/gcc4.2.3