Possibly fix #255

Windows users: could you please try this but also try to push using https *without* this patch again, so we have more confidence this actually fixes #255.