Can't use C11x with Apple-clang...
Merge branch 'feature/XSDMap' of https://github.com/mbrucher/TBSE into feature/XSDMap