Fix automated build

Unbreak the automated Docker build