Revert "remove unused option"

This reverts commit 3e925b9925a837d19551560be55c2aa4fe410df8.