Fire drill to work around busted lpd.mit.edu domain / shibboleth auth.