Test files for issue 6253