[gcc4.7 support] added some explicit casts;