Now that we're not conditionally pushing things onto `args`, should just inline them into `system "./configure", ...`