software/theia: Adjust to Caddy build changes

See merge request !935
2 jobs for master
in 0 seconds, using 0 compute credits, and was queued for 0 seconds