Should set disable profiling option on cabal configure.
Merge branch 'arafura' into arafura-ci4osx