Some changes to install-check