iOS version is updated from 7.0 to 7.1 in setup-flymake.el