Shorten file names in test output.

This is a purely cosmetic improvement.