Fixing #843: Tests should use CTest