Actually use ctest