I wrote this patch some time ago, seems I forgot to commit it.

This fixes a serious bug in diethotplug, and fixes the install
locations.
 -Erik