workaround for getlantern/lantern#587