Some tweaks to Repooc's install