Fix compatibility issue with primitive shells in the Linux Makefile