dummy-ghc should depend on config.mk, to pick up the latest version number