tests: Use shorter filenames.