mintInstall 7.1.5: speed improvements