disable profiling, ghci, documentation on build.sh.