Update armips (fixes #7114.)