build.sh: killed duplicate patmos tools build using wrong paths, fixed some wrong tab indents