Ensure no 32-bit Aladdin drivers remain:

The main conflicts include: