Fix ctest argument