Make path to Android OpenSSL headers configurable.