When I clicked on “Activate plugin” the web server froze. I tried first to change the name of the folder with the better search plugin, then restart apache, but it didn’t help. Then I rebooted the machine. This worked. The plugin was now deactivated, so I deleted it.