workaround the official distribution of tlslite