The online help says that we should use ADD_SUBDIRECTORY rather than SUBDIRS, but that SUBDIRS still works. Does anyone know why we're supposed to prefer ADD_SUBDIRECTORY?