fix getlantern/lantern#776