CMake: bug-fix for tvOS support

tvOS Device support wasn't working, at least not with the current-latest tvOS release (13.0), with CMake failing during its configuration stage.
1 file changed