Fix the installation of the driver manager