Use URI instead of File in generating source listings #1762