Make "continuous integration" more robust

This improves the interaction with Kerberos and AFS tickets.