Do not try to detect automatically whether system is iOS; it is
simpler and more reliable to let the programmer inform that.