Mention that developers need to call cabal configure