Always include libraries/dph/ghc.mk in top-level ghc.mk