workaround for openssl failing to install docs on some Ubuntu systems