restore CTEST_USE_LAUNCHERS