Make pullInDeps also see platform_lib