Actually make building the config GUI NOT the default
Authored by: Jean-Francois Dockes 2018-03-04
Parent(s): [b3ad8e]
Child(ren): [b742f2]
