Fix Gemini and cURL (#3696)
The Docker image `openjdk:10-jdk-slim` was ninja-updated within the last few days such that `apt install curl` would no longer work. Luckily, only Gemini used this image (for reasons I do not know). Also luckily, simply using the non-slim image does not appear to be affected similarly.