Fix compilation on armv6