update git clone URL . Reported in github issue #8