build.sh: platin install script changed
experiments/integration: improve parallel rebuild and search path heuristics