Use https. Fixes #3