setup-phase3: fix dkms build