branches/fault: fixed compilation issues with CMake 3.0 and clang-503.0.40