Fixed compatibility issues when compiling against libc++.

Also `Makefile clean` was missing some files.
Merge branch 'libc++_fix' of github.com:dherkova/SimKernel into libc++_fix