User binary and scripts: this directory is added to PATH by ~/.profile
