abort with error when tisdk doesnt meet prereq