docs: Fix ghc_config.py.in