(executables (names discover) (libraries dune.configurator)
 (preprocess no_preprocessing))