Fix problem in DARTConfig.cmake that appeared after updating to CMake 2.6.11