Added forgotten dependency (sorry;  this should fix the build)