Test files for issue 5716