Everyone: I'm sorry for my mistake in using our little ${PKGNAME} abbreviation where it turned out not to be supported. That's fixed for tonight, of course ("bguq.map"). And also for our nightly test not noticing the failure and updating tlnet anyway :(. Working on that. Sigh. k