use https-git url to make travis happy