Use https for external files. Closes #7