in particular, don't do ExternalProject_Add()
that starts creating build directories for a disabled
plugin