The configuration option was accidentally lost during another commit. This partially reverts commit 48e30dca