changing libpropeller repo url