Bugfix:  provide correct git URL in build instructions