Fix building varnish under Ubuntu.