fixes compilation on 711