Changed Android OpenSSL target
Added $WITH_OPENSSL again to PHP