Fix default arguments

I broke coverage publishing because the arguments are not correctly read from the environment variables in the CI. This should hopefully work now.