I don't think we want to introduce new `ARGV` usages into formula; is there a better place to put this, since it doesn't use any arg parsing anyway?