Fix header guard of mixed use of DART_ and SOFT_