FIX build: add dependencies on ghc_boot_platform.h