We are currently running the CI test on stdio on the direct Python server file; we should also try to run the test on the Docker file.