fix filename, adapt to current getlantern/tls