Issue #61: using https repository