Merge branch 'jw/make-arflags-customizable'