If you want to use the latest greatest git version, but don’t want the hassle of updating, building the whole tree everytime. There is now a script available that does this for you. The script can be found here. Before using this script you should edit the user settings. (prefix, number of threads to use read more »