Fix registry push

This fixes (even though its a duct tape solution) the push to the docker.io registry, thereby fixing the failing CI/CD status on the master branch