Better default configuration
`-m -n 5000 -c irjit` should be default