update piplib for change in configure options