The solution that we have used here is a simple one-liner, that does not
need any temporary files:
set noglob;eval `tset -s -Q -m :?h19`;unset noglob
{ucbvax!hplabs | allegra!nbires | decvax!kpno | harpo!seismo | ihnp4!kpno}
!hao!boulder!sylvan