Rename *.pip to *.txt (to match common conventions).