[DO NOT MERGE] Add test case for issue 8671.

This is just to use the autotester to ascertain if issue 8671 still happens on OSX.