This patch removes the ghciWithDebugger field from flavour config since it's actually not used anywhere.