Fix CI error
The error is due to the docker image. This changes the image to one that works and seems to be better maintained.
The error is due to the docker image. This changes the image to one that works and seems to be better maintained.
merged