Cleanup: replace hard-wired $(AR) 'crv' settings by $(ARFLAGS)