Fix installation names in bootstrap script