Correct inconsistent build option

re #6175