make sure that the file sink outputs all urefs