build : allow discheck to be disabled at configure time