Fix --no-plugins support in installation manager, fixes #3031