removing clang-init-order mac-specific patch; is being merged to CVC4 master