The error is due to the docker image. This changes the image to one that works and seems to be better maintained.
This reverts commit a24b8dd8.
This is a computer modern clone with unicode support. This hopefully fixes the error in the CI.
