Total pedantry that I can fix up locally: is it required to install or just to run?