Use working link to bohoomil's repo