whether to use superbible code now enabled in cmakelists.txt