Fixes #23. (Install into DKMS.)