Spass makefiles: bug in inclusion

[Bart Bogaerts]

We (or the spass guys) are a bit too eager with including our own files instead of standard files.

For one reason, on a clean ubuntu 18.04 build, making SPASS fails becuase /usr/include/string.h includes /usr/include/strings.h but instead a SPASS file named strings.h gets included.