Manual test files for issue 6493