fix getlantern/lantern#755