Scripts are now installed by setup.py. (Don't yet know if this works.)