Try to fix ARM buildbots