Some extensions to allow HEAD and universal installation

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...