hack printing of filenames

2 jobs for time/extensible_call in 18 minutes and 40 seconds (queued for 7 seconds)