Small workaround for broken Docker build