Also use default settings for a few other variables. This makes the test
faster by a few seconds on my laptop.