Reverted config.py, remove gui build from dev setup.

16 jobs for !966 with build-system-minor-changes in 36 minutes and 10 seconds (queued for 2 seconds)
latest merge request