Another problem when making sel4. The make program complains Invalid package ID: "array-0.5.1.1 base-4.9.0.0 binary-0.8.3.0 bytestring-0.10.8.1".

[parse-capDL] building...

make: Entering directory '/path/to/sel4/projects/capdl/capDL-tool'

stack setup

stack will use a locally installed GHC

For more information on paths, see 'stack path' and 'stack exec env'

To use this GHC and packages outside of a project, consider using:

stack ghc, stack ghci, stack runghc, or stack exec

stack build --only-dependencies

Invalid package ID: "array-0.5.1.1 base-4.9.0.0 binary-0.8.3.0 bytestring-0.10.8.1"

Makefile:39: recipe for target 'sandbox' failed

make: *** [sandbox] Error 1

How can I fix this? Thank you. 

Ubuntu 16.04 LTS

GNU Make 4.1

gcc version 5.4.0 20160609