Fix ctest arguments