changed sdsl to sdsl-lite in installer