Implementation for installing Geppetto