update defining-pi repo