Fix an error which prevented the Github Actions workflow to build the docker images from running.