Fix error in downloading hippomocks library.