Use a real file name rather than a garbage dummy value