add test case for Issue 11237

- fix OS name of linux in Makefile