pts-core: Workaround HTTPS OpenBenchmarking.org proxy issue