Fix check if webpki library is already available

Fix check if webpki library is already available #875