language/python: don't die in reads_brewed_pth_files?