Fix "unknown option `config`" error in old version of git