Added option to install HEAD revision

Due to the other bug, I've added the URL for installation of the HEAD version. This way checkout works for me again. This minimal patch might be useful anyway...